Поведенческая совместимость

9.4 Поведенческая совместимость - объект является поведенчески совместимым со вторым объектом относительно набора критериев (см. примечания), если первый объект может заменить второй объект так, что среда не сможет установить различие в поведении объектов на основе набора критериев.

Обычно, критерии устанавливают ограничения на допустимое поведение среды. Если критерии таковы, что среда ведет себя как тестер для исходного объекта, то есть среда определяет наименьшее поведение, которое не ограничивает поведение исходного объекта, то результирующее отношение поведенческой совместимости называется расширением.

Критерии могут допускать замену объектом, который получается при модификации объекта, несовместимого в других отношениях, для того, чтобы замена стала приемлемой. Примером такой модификации может быть сокрытие дополнительных параметров в определенных взаимодействиях. Таким образом, взаимодействие нового объекта может быть сделано похожим на взаимодействие исходного объекта. В таких случаях поведенческая совместимость называется приведенной поведенческой совместимостью. Если модификации не нужны, то поведенческая совместимость называется естественной поведенческой совместимостью.

Понятие поведенческой совместимости, определенное выше для объектов, подходит для поведенческой совместимости шаблонов и типов шаблона.

Поведенческая совместимость рефлексивна, но не обязательно симметрична или транзитивна (хотя может иметь одно или оба из этих свойств).

Примечания

1 Набор критериев зависит от используемого языка и применяемой теории тестирования.

2 Поведенческая совместимость (относительно набора критериев) может быть определена для шаблонов (см. 9.11) и типов шаблонов (см. 9.19), таким образом:

а) если S и Т - являются шаблонами объектов, то говорят, что S является поведенчески совместимым с Т тогда и только тогда, когда любая S-реализация поведенчески совместима с некоторой Т-реализацией (см. 9.13);

б) если U и V являются типами шаблонов объекта, то говорят, что U и V являются поведенчески совместимыми, если соответствующие им шаблоны поведенчески совместимы.

Источник: ГОСТ Р ИСО/МЭК 10746-2-2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель оригинал документа